sum(2^(-2i-4)*((2i+4) choose i),i from 0 to M)